Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: Update GitHub CI workflows #302

Merged
merged 2 commits into from
Oct 27, 2023
Merged

Conversation

evansims
Copy link
Member

🔧 Changes

This PR updates our GitHub CI workflows for the repository. It updates the Semgrep workflow to follow our other repositories' approaches. It also adds a Dependabot configuration for keeping Actions up to date.

📚 References

N/A

🔬 Testing

This updates our continuous integration tests.

📝 Checklist

  • All new/changed/fixed functionality is covered by tests (or N/A)
  • I have added documentation for all new/changed functionality (or N/A)

@codecov-commenter
Copy link

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (17e68bc) 94.80% compared to head (2ae4672) 94.80%.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #302   +/-   ##
=======================================
  Coverage   94.80%   94.80%           
=======================================
  Files          46       46           
  Lines        8916     8916           
=======================================
  Hits         8453     8453           
  Misses        361      361           
  Partials      102      102           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@evansims evansims marked this pull request as ready for review October 27, 2023 05:11
@evansims evansims requested a review from a team as a code owner October 27, 2023 05:11
.github/workflows/semgrep.yml Outdated Show resolved Hide resolved
.github/workflows/semgrep.yml Outdated Show resolved Hide resolved
@ewanharris ewanharris enabled auto-merge (squash) October 27, 2023 09:44
@ewanharris ewanharris merged commit 99f46ab into main Oct 27, 2023
6 checks passed
@ewanharris ewanharris deleted the chore/update-github-ci-workflows branch October 27, 2023 09:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants